1. Generating Hardware Assertion Checkers
Author: \ Marc Boulé, Zeljko Zilic
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Integrated circuits -- Very large scale integration -- Computer-aided design. ,Integrated circuits -- Verification. ,مدارهای مجتمع -- مجتمعسازی در مقیاس بسیار بزرگ -- طراحی به کمک کامپیوتر,مدارهای مجتمع -- راستیآزمایی
Classification :
E-Book
,
